Automata Mista
نویسنده
چکیده
We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as finite-state process descriptions. We use as algorithmic description language Pidgin ML, a core applicative subset of Objective Caml. Dedicated to Zohar Manna for his 2th birthday
منابع مشابه
Comparison of percutaneous cannulated screw fixation and calcium sulfate cement grafting versus minimally invasive sinus tarsi approach and plate fixation for displaced intra-articular calcaneal fractures: a prospective randomized controlled trial
BACKGROUND The management of displaced intra-articular calcaneal fractures (DIACFs) remains challenging and controversial. A prospective randomized controlled trial was conducted to compare percutaneous reduction, cannulated screw fixation and calcium sulfate cement (PR+CSC) grafting with minimally invasive sinus tarsi approach and plate fixation (MISTA) for treatment of DIACFs. METHODS Ultim...
متن کاملA new species of Neoblattella Shelford (Blattellidae: Pseudophyllodromiinae) from Amazonas State, Brazil.
Neoblattella mista sp. nov. is described and illustrated based on male genitalia and morphological characters of a single specimen collected in the town of Coari, State of Amazonas, Brazil. By studying the literature on the genus, we determined that N. mista sp. nov. differs from the other four known complexes in the morphology of its genital structures, including the supra-anal plate, subgenit...
متن کاملMulti-commodity flow and station logistics resolution for train unit scheduling
Proceedings Paper: Kwan, RSK, Lin, Z, Copado-Mendez, PJ et al. (1 more author) (2017) Multi-commodity flow and station logistics resolution for train unit scheduling. In: Gunawan, A, Kendall, G, Soon, LL, McCollum, B and Seow, H-V, (eds.) Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications. Multidisciplinary International Scheduling Conferenc...
متن کاملReflexos das Alternâncias de Governo na Governança de TI em uma Organização de Economia Mista
متن کامل
A micro surface tension alveolus (MISTA) in a glass microchip.
We have designed a non-membrane micro surface tension alveolus (MISTA) in a glass microchip for direct gas exchange and micro gradient control. Hemoglobin (Hb) in the liquid phase indicates the rapid gas gradient changes of O2 and CO2 shifted by the difference in pressure between the liquid and the gas.
متن کامل